1.
Logics of Specification Languages
by Bjorner, Dines, Henson, Mar...
ISBN: 9783540741060
List Price: $139.00
2.
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
by Bjorner, Dines, Henson, Mar...
ISBN: 9783642093456
List Price: $139.00
3.
Zb 2002 : Formal Specification and Development in Z and B
by Bert, Didier, Bowen, Jonath...
ISBN: 9783662164389
List Price: $24.99